Eunkyoung Jee: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated test case generation for FBD programs implementing reactor protection system software

Jee, Eunkyoung, Shin, Donghwan, Cha, Sungdeok, Lee, Jang-Soo, Bae, Doo-Hwan

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 1.89 MB

english, 2014

2

A data flow-based structural testing technique for FBD programs

Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, Doohwan Bae

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 972 KB

english, 2009

3

[IEEE 2018 13th Annual Conference on System of Systems Engineering (SoSE) - Paris, France (2018.6.19-2018.6.22)] 2018 13th Annual Conference on System of Systems Engineering (SoSE) - A collaboration policy model for system of systems

Zelalem Mihret, B., Jee, Eunkyoung, Baek, Young-Min, Bae, Doo-Hwan

Year:

2018

Language:

english

File:

PDF, 457 KB

english, 2018

4

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Sokolsky, O., Sanjian Chen, Hatcliff, J., Eunkyoung Jee, BaekGyu Kim, King, A., Mullen-Fortino, M., Soojin Park, Roederer, A., Venkatasubramanian, K.K.

Journal:

Proceedings of the IEEE

Year:

2012

Language:

english

File:

PDF, 848 KB

english, 2012

5

Formal Modeling and Verification of Safety-Critical Software

Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha

Journal:

Year:

2009

Language:

english

File:

PDF, 2.49 MB

english, 2009

6

Lyotropic structure of poly(aniline N-alkylsulfonate)s by molecular dynamics

Jang, Jee Hwan, Kim, Jonghun, Lee, Kwanyoung, Lee, Hosull, Kim, Eunkyoung, Rhee, Suh Bong

Journal:

Synthetic Metals

Year:

1995

Language:

english

File:

PDF, 239 KB

english, 1995

7

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software

Choi, Jinho, Jee, Eunkyoung, Bae, Doo-Hwan

Year:

2012

Language:

english

File:

PDF, 214 KB

english, 2012

8

[IEEE 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Macau, China (2010.08.23-2010.08.25)] 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications - A Safety-Assured Development Approach for Real-Time Software

Jee, Eunkyoung, Wang, Shaohui, Kim, Jeong Ki, Lee, Jaewoo, Sokolsky, Oleg, Lee, Insup

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

9

[IEEE International Conference on Science and Technology of Synthetic Metals - Seoul, Korea (1994.07.24-1994.07.29)] International Conference on Science and Technology of Synthetic Metals - Lyotropic structure of poly(aniline n-alkylsulfonate)s by molecular dynamics

Jee Hwan Jang,, Jonghun Kim,, Kwanyoung Lee,, Hosull Lee,, Eunkyoung Kim,, Suh Bong Rhee,

Year:

1994

Language:

english

File:

PDF, 78 KB

english, 1994

10

[IEEE 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) - Bangalore, India (2006.12.6-2006.12.8)] 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) - Testing of Timer Function Blocks in FBD

Jee, Eunkyoung, Jeon, Seungjae, Bang, Hojung, Cha, Sungdeok, Yoo, Junbeom, Park, Geeyong, Kwon, Keechoon

Year:

2006

Language:

english

File:

PDF, 202 KB

english, 2006

11

Comprehensive analysis of FBD test coverage criteria using mutants

Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

12

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software

Nguyen, Minh Chau, Jee, Eunkyoung, Choi, Jinho, Bae, Doo-Hwan

Year:

2014

Language:

english

File:

PDF, 427 KB

english, 2014

13

[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems

Lim, Yoo Jin, Jee, Eunkyoung, Shin, Donghwan, Bae, Doo-Hwan

Year:

2015

Language:

english

File:

PDF, 438 KB

english, 2015

14

[IEEE 2016 International Conference on Big Data and Smart Computing (BigComp) - Hong Kong, China (2016.1.18-2016.1.20)] 2016 International Conference on Big Data and Smart Computing (BigComp) - A runtime verification framework for dynamically adaptive multi-agent systems

Lim, Yoo Jin, Gwangui Hong,, Donghwan Shin,, Eunkyoung Jee,, Doo-Hwan Bae,

Year:

2016

Language:

english

File:

PDF, 276 KB

english, 2016

15

Timing consistency checking for UML/MARTE behavioral models

Choi, Jinho, Jee, Eunkyoung, Bae, Doo-Hwan

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 5.01 MB

english, 2016

16

[ACM Press the 4th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems - SESoS '16 - Modeling and verification for different types of system of systems using PRISM

Seo, Dongwon, Shin, Donghwan, Baek, Young-Min, Song, Jiyoung, Yun, Wonkyung, Kim, Junho, Jee, Eunkyoung, Bae, Doo-Hwan

Year:

2016

Language:

english

File:

PDF, 893 KB

english, 2016

17

A User eXperience Evaluation Framework for Mobile Usability

Lee, Hee-Jin, Lee, Joon-Sang, Jee, Eunkyoung, Bae, Doo-Hwan

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2017

Language:

english

File:

PDF, 1.33 MB

english, 2017

18

[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Automated Test Sequence Generation for Function Block Diagram Programs

Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Year:

2016

Language:

english

File:

PDF, 1.36 MB

english, 2016

19

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 4.07 MB

english, 2018

20

[IEEE 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - Nanjing (2017.12.4-2017.12.8)] 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS

Song, Jiyoung, Baek, Young-Min, Jin, Mingyu, Jee, Eunkyoung, Bae, Doo-Hwan

Year:

2017

Language:

english

File:

PDF, 696 KB

english, 2017

21

[IEEE 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Hangzhou, China (2019.2.24-2019.2.24)] 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms

Yoo, Junghun, Jung, Youlim, Shin, Donghwan, Bae, Minhyo, Jee, Eunkyoung

Year:

2019

File:

PDF, 1.31 MB

2019

22

[IEEE 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES) - Montreal, QC, Canada (2019.5.28-2019.5.28)] 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES) - Slicing Executable System-of-Systems Models for Efficient Statistical Verification

Song, Jiyoung, Torring, Jacob Odgard, Hyun, Sangwon, Jee, Eunkyoung, Bae, Doo-Hwan

Year:

2019

File:

PDF, 575 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски